(w32_get_resource): Remove unused variable `ok'.

diff --git a/src/ChangeLog b/src/ChangeLog
index aab2b3e621036caf6c300db68671593ba2a7a499..e2dd2a4f59f35c420018e65773da61fe1079b91a 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,7 @@
 2007-10-25  Juanma Barranquero  <lekktu@gmail.com>
 
        * w32.c (init_environment): Fix tiny memory leak.
+       (w32_get_resource): Remove unused variable `ok'.
 
 2007-10-25  Stefan Monnier  <monnier@iro.umontreal.ca>
 

diff --git a/src/w32.c b/src/w32.c
index 16bec44f610e296412df58629f47482910bd5e1b..d9d11c3094a27aa5a71799e939a3e1c593fbdb96 100644 (file)
--- a/src/w32.c
+++ b/src/w32.c
@@ -914,7 +914,6 @@ w32_get_resource (key, lpdwtype)
   LPBYTE lpvalue;
   HKEY hrootkey = NULL;
   DWORD cbData;
-  BOOL ok = FALSE;
 
   /* Check both the current user and the local machine to see if
      we have any resources.  */